/**
 * @file solver.h
 *
 * @brief Problem solver.
 *
 * @date 1998 - 2010
 * @author Richard Delorme
 * @version 4.0
 */

#ifndef EDAX_SOLVER_H
#define EDAX_SOLVER_H


struct Search;

unsigned long long solver(struct Search *search, const char *file_name);

#endif
